Failed to solve the following constraints:
  fst ?0 = fst x : A (blocked on _5)
Unsolved metas at the following locations:
  Issue3606.agda:14,10-18
Unsolved interaction metas at the following locations:
  Issue3606.agda:14,14-18
